../drt/helpers.tcl